Modeling Faceted Browsing with Category Theory for Reuse and Interoperability

Faceted browsing (also called faceted search or faceted navigation) is an exploratory search model where facets assist in the interactive navigation of search results. Facets are attributes that have been assigned to describe resources being explored; a faceted taxonomy is a collection of facets provided by the interface and is often organized as sets, hierarchies, or graphs. Faceted browsing has become ubiquitous with modern digital libraries and online search engines, yet the process is still difficult to abstractly model in a manner that supports the development of interoperable and reusable interfaces. We propose category theory as a theoretical foundation for faceted browsing and demonstrate how the interactive process can be mathematically abstracted in order to support the development of reusable and interoperable faceted systems. Existing efforts in facet modeling are based upon set theory, formal concept analysis, and light-weight ontologies, but in many regards they are implementations of faceted browsing rather than a specification of the basic, underlying structures and interactions. We will demonstrate that category theory allows us to specify faceted objects and study the relationships and interactions within a faceted browsing system. Resulting implementations can then be constructed through a category-theoretic lens using these models, allowing abstract comparison and communication that naturally support interoperability and reuse. In this context, reuse and interoperability are at two levels: between discrete systems and within a single system. Our model works at both levels by leveraging category theory as a common language for representation and computation. We will establish facets and faceted taxonomies as categories and will demonstrate how the computational elements of category theory, including products, merges, pushouts, and pullbacks, extend the usefulness of our model. More specifically, we demonstrate that categorical constructions such as the pullback and pushout operations can help organize and reorganize facets; these operations in particular can produce faceted views containing relationships not found in the original source taxonomy. We show how our category-theoretic model of facets relates to database schemas and discuss how this relationship assists in implementing the abstractions presented. We give examples of interactive interfaces from the biomedical domain to help illustrate how our abstractions relate to real-world requirements while enabling systematic reuse and interoperability. We introduce DELVE (Document ExpLoration and Visualization Engine), our framework for developing interactive visualizations as modular Web-applications in order to assist researchers with exploratory literature search. We show how facets relate to and control visualizations; we give three examples of text visualizations that either contain or interact with facets. We show how each of these visualizations can be represented with our model and demonstrate how our model directly informs implementation. With our general framework for communicating consistently about facets at a high level of abstraction, we enable the construction of interoperable interfaces and enable the intelligent reuse of both existing and future efforts

Finite-Difference Solution for Laminar or Turbulent Boundary Layer Flow over Axisymmetric Bodies with Ideal Gas, CF4, or Equilibrium Air Chemistry

A computer code was developed that uses an implicit finite-difference technique to solve nonsimilar, axisymmetric boundary layer equations for both laminar and turbulent flow. The code can treat ideal gases, air in chemical equilibrium, and carbon tetrafluoride (CF4), which is a useful gas for hypersonic blunt-body simulations. This is the only known boundary layer code that can treat CF4. Comparisons with experimental data have demonstrated that accurate solutions are obtained. The method should prove useful as an analysis tool for comparing calculations with wind tunnel experiments and for making calculations about flight vehicles where equilibrium air chemistry assumptions are valid

Steric regulation of tandem calponin homology domain actin-binding affinity.

Tandem calponin homology (CH1-CH2) domains are common actin-binding domains in proteins that interact with and organize the actin cytoskeleton. Despite regions of high sequence similarity, CH1-CH2 domains can have remarkably different actin-binding properties, with disease-associated point mutants known to increase as well as decrease affinity for F-actin. To investigate features that affect CH1-CH2 affinity for F-actin in cells and in vitro, we perturbed the utrophin actin-binding domain by making point mutations at the CH1-CH2 interface, replacing the linker domain, and adding a polyethylene glycol (PEG) polymer to CH2. Consistent with a previous model describing CH2 as a steric negative regulator of actin binding, we find that utrophin CH1-CH2 affinity is both increased and decreased by modifications that change the effective "openness" of CH1 and CH2 in solution. We also identified interface mutations that caused a large increase in affinity without changing solution "openness," suggesting additional influences on affinity. Interestingly, we also observe nonuniform subcellular localization of utrophin CH1-CH2 that depends on the N-terminal flanking region but not on bulk affinity. These observations provide new insights into how small sequence changes, such as those found in diseases, can affect CH1-CH2 binding properties

Revisiting the Chlorine Abundance in Diffuse Interstellar Clouds from Measurements with the Copernicus Satellite

We reanalyzed interstellar Cl I and Cl II spectra acquired with the Copernicus satellite. The directions for this study come from those of Crenny & Federman and sample the transition from atomic to molecular rich clouds where the unique chemistry leading to molecules containing chlorine is initiated. Our profile syntheses relied on up-to-date laboratory oscillator strengths and component structures derived from published high-resolution measurements of K I absorption that were supplemented with Ca II and Na I D results. We obtain self-consistent results for the Cl I lines at 1088, 1097, and 1347 A from which precise column densities are derived. The improved set of results reveals clearer correspondences with H2 and total hydrogen column densities. These linear relationships arise from rapid conversion of Cl^+ to Cl^0 in regions where H2 is present.Comment: 17 pp, 2 tables, and 3 figures, to appear in The Astrophysical Journa

Dealing with Uncertainties in Asteroid Deflection Demonstration Missions: NEOTwIST

Deflection missions to near-Earth asteroids will encounter non-negligible uncertainties in the physical and orbital parameters of the target object. In order to reliably assess future impact threat mitigation operations such uncertainties have to be quantified and incorporated into the mission design. The implementation of deflection demonstration missions offers the great opportunity to test our current understanding of deflection relevant uncertainties and their consequences, e.g., regarding kinetic impacts on asteroid surfaces. In this contribution, we discuss the role of uncertainties in the NEOTwIST asteroid deflection demonstration concept, a low-cost kinetic impactor design elaborated in the framework of the NEOShield project. The aim of NEOTwIST is to change the spin state of a known and well characterized near-Earth object, in this case the asteroid (25143) Itokawa. Fast events such as the production of the impact crater and ejecta are studied via cube-sat chasers and a flyby vehicle. Long term changes, for instance, in the asteroid's spin and orbit, can be assessed using ground based observations. We find that such a mission can indeed provide valuable constraints on mitigation relevant parameters. Furthermore, the here proposed kinetic impact scenarios can be implemented within the next two decades without threatening Earth's safety.Comment: Accepted for publication in the proceedings of the IAUS 318 - Asteroids: New Observations, New Models, held at the IAU General Assembly in Honolulu, Hawaii, USA 201

Lift-off dynamics in a simple jumping robot

We study vertical jumping in a simple robot comprising an actuated mass-spring arrangement. The actuator frequency and phase are systematically varied to find optimal performance. Optimal jumps occur above and below (but not at) the robot's resonant frequency $f_0$. Two distinct jumping modes emerge: a simple jump which is optimal above $f_0$ is achievable with a squat maneuver, and a peculiar stutter jump which is optimal below $f_0$ is generated with a counter-movement. A simple dynamical model reveals how optimal lift-off results from non-resonant transient dynamics.Comment: 4 pages, 4 figures, Physical Review Letters, in press (2012